$\forall$$x$,$y$:top. $x$ = $y$